<html>
<head><meta charset="utf-8"><title>weekly meeting 2019-01-07 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html">weekly meeting 2019-01-07</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="154590599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154590599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154590599">(Jan 07 2019 at 18:46)</a>:</h4>
<p>Hi all! Meeting in 15 minutes.</p>
<p>cc <span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span> — not sure how correct this alias is though. If you don't get a ping and you expected on (or you do and you'd prefer not to have one), send me a message and I'll update it.</p>



<a name="154590624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154590624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154590624">(Jan 07 2019 at 18:46)</a>:</h4>
<p>speaking of aliases... any luck with that PR? ;-)</p>



<a name="154590750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154590750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154590750">(Jan 07 2019 at 18:48)</a>:</h4>
<p>I thought today we'd talk a bit about "roadmap plus process" -- basically, brainstorm a bit how best to attempt and organize this effort =)</p>
<p>I created a <a href="https://docs.google.com/spreadsheets/d/1FFkcJR_n4-j2mFSDofNfSMXmBVkP6O-4bjHputoVmEI/edit?usp=sharing" target="_blank" title="https://docs.google.com/spreadsheets/d/1FFkcJR_n4-j2mFSDofNfSMXmBVkP6O-4bjHputoVmEI/edit?usp=sharing">google spreadsheet</a> that contains some notes on various goals and status items, to start. This was constructed from my scraping past threads and the code. I'm probably not going to try and manage things in a Google Spreadsheet long-term but seemed like a decent place to start.</p>



<a name="154590758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154590758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154590758">(Jan 07 2019 at 18:48)</a>:</h4>
<blockquote>
<p>speaking of aliases... any luck with that PR? ;-)</p>
</blockquote>
<p>I started rebasing, but decided working on the roadmap thoughts were higher priority</p>



<a name="154590762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154590762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154590762">(Jan 07 2019 at 18:48)</a>:</h4>
<p>will try to finish up later today or tomorrow</p>



<a name="154590763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154590763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154590763">(Jan 07 2019 at 18:49)</a>:</h4>
<p>I will be around-ish, but I’ll probably be following the meeting more or less asynchronously</p>



<a name="154591282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154591282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154591282">(Jan 07 2019 at 18:55)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--ALDA5111ZliLv5zlSgbjvDS2Ag-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--ALDA5111ZliLv5zlSgbjvDS2Ag-oDfr6ct8xx63HSAOOmIZX">Traits Paper Document</a></p>



<a name="154592031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592031">(Jan 07 2019 at 19:05)</a>:</h4>
<p>So, I've been thinking about a few things. </p>
<ul>
<li>There are a variety of things that fit under the purview of this working group.</li>
<li>I'd really like it if we can find ways to help expose (a) the design we are shooting for and (b) our progress in completing that design better than we've done in the past. </li>
<li>There are a fair number of "moving parts" floating around with traits, e.g. chalk, lowering, rustc, etc, and it might be hard to track them all in a unified fashion</li>
</ul>



<a name="154592053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592053">(Jan 07 2019 at 19:05)</a>:</h4>
<p>But wait, I get ahead of myself</p>



<a name="154592055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592055">(Jan 07 2019 at 19:05)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span> <span class="emoji emoji-1f44b" title="wave">:wave:</span> starting :)</p>



<a name="154592147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592147">(Jan 07 2019 at 19:07)</a>:</h4>
<p>do you still feel that rustc-guide is a good way of communicating that design?</p>



<a name="154592172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592172">(Jan 07 2019 at 19:07)</a>:</h4>
<p>I was just writing something about that</p>



<a name="154592174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592174">(Jan 07 2019 at 19:07)</a>:</h4>
<p>yeah, that's the question</p>



<a name="154592177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592177">(Jan 07 2019 at 19:07)</a>:</h4>
<p>it feels like <em>maybe</em>?</p>



<a name="154592178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592178">(Jan 07 2019 at 19:07)</a>:</h4>
<p>or should we have something in-between RFCs and the guide, say, "design docs"</p>



<a name="154592185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592185">(Jan 07 2019 at 19:07)</a>:</h4>
<p>I mean the only "downside" of the rustc-guide to me</p>



<a name="154592244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592244">(Jan 07 2019 at 19:08)</a>:</h4>
<p>and I think if we put too high of a barrier</p>



<a name="154592245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592245">(Jan 07 2019 at 19:08)</a>:</h4>
<p>is that it feels like it's a bit "finished"</p>



<a name="154592246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592246">(Jan 07 2019 at 19:08)</a>:</h4>
<p>but otoh I think it's kind of a logical place</p>



<a name="154592247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592247">(Jan 07 2019 at 19:08)</a>:</h4>
<p>if will not grow enough</p>



<a name="154592248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592248">(Jan 07 2019 at 19:08)</a>:</h4>
<p>but maybe it makes sense to have a place where the design/docs are "evolving"</p>



<a name="154592250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592250">(Jan 07 2019 at 19:08)</a>:</h4>
<p>and a pointer to that from rustc-guide</p>



<a name="154592261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592261">(Jan 07 2019 at 19:08)</a>:</h4>
<p>yeah I tend to agree</p>



<a name="154592267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592267">(Jan 07 2019 at 19:08)</a>:</h4>
<p>sort of a "meta repository", I guess</p>



<a name="154592288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592288">(Jan 07 2019 at 19:09)</a>:</h4>
<p>hmm, does anybody know, if you have two repos in the same github org, can they reference one another in their "github projects" and things?</p>



<a name="154592291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592291">(Jan 07 2019 at 19:09)</a>:</h4>
<p>I've been wondering if those would be a good fit to help us track things</p>



<a name="154592298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592298">(Jan 07 2019 at 19:09)</a>:</h4>
<p>they gotta be good for <em>something</em></p>



<a name="154592319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592319">(Jan 07 2019 at 19:09)</a>:</h4>
<p>not sure on that one</p>



<a name="154592332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592332">(Jan 07 2019 at 19:10)</a>:</h4>
<p>personally, my go-to for writing out a design is something like google docs or dropbox paper</p>



<a name="154592384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592384">(Jan 07 2019 at 19:10)</a>:</h4>
<p>I find the whole edit/preview/commit/push/pr cycle to be a bit much in the early stages</p>



<a name="154592438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592438">(Jan 07 2019 at 19:11)</a>:</h4>
<p>seems like you sort of can: <a href="https://github.com/rust-lang/rustc-guide/projects/1" target="_blank" title="https://github.com/rust-lang/rustc-guide/projects/1">https://github.com/rust-lang/rustc-guide/projects/1</a></p>



<a name="154592439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592439">(Jan 07 2019 at 19:11)</a>:</h4>
<p>yeah, I mean, a paper or google doc could work too</p>



<a name="154592452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592452">(Jan 07 2019 at 19:12)</a>:</h4>
<p>I think PRs don't have to be onerous per se though</p>



<a name="154592472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592472">(Jan 07 2019 at 19:12)</a>:</h4>
<p>that is, we could just merge quickly</p>



<a name="154592488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592488">(Jan 07 2019 at 19:12)</a>:</h4>
<p>:)</p>



<a name="154592545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592545">(Jan 07 2019 at 19:13)</a>:</h4>
<p>(it's also easier to have e.g. a discussion about a design and so forth)</p>



<a name="154592596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592596">(Jan 07 2019 at 19:14)</a>:</h4>
<p>I guess i'd have to move some of the docs from rustc-guide to start</p>



<a name="154592641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592641">(Jan 07 2019 at 19:15)</a>:</h4>
<p>I mean I see projects etc as a great way for tracking progress, not sure about design</p>



<a name="154592688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592688">(Jan 07 2019 at 19:16)</a>:</h4>
<p>PRs can work as a discussion point for design, yes</p>



<a name="154592707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592707">(Jan 07 2019 at 19:16)</a>:</h4>
<p>but it always feels _to me_ like "we have to get everything right before we merge"</p>



<a name="154592760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592760">(Jan 07 2019 at 19:16)</a>:</h4>
<p>my plan would be to have design docs living as files in the repository, and issues tracking things that remain to be figured out</p>



<a name="154592761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592761">(Jan 07 2019 at 19:16)</a>:</h4>
<p>the projects were meant more for tracking impl progress and "things that need to get figured out"</p>



<a name="154592764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592764">(Jan 07 2019 at 19:16)</a>:</h4>
<blockquote>
<p>but it always feels _to me_ like "we have to get everything right before we merge"</p>
</blockquote>
<p>yeah, that makes sense</p>



<a name="154592788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592788">(Jan 07 2019 at 19:16)</a>:</h4>
<p>I guess I like editing markdown files in emacs</p>



<a name="154592794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592794">(Jan 07 2019 at 19:17)</a>:</h4>
<p>so there's that too :)</p>



<a name="154592797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592797">(Jan 07 2019 at 19:17)</a>:</h4>
<p>anyway, beyond this question ....</p>



<a name="154592814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592814">(Jan 07 2019 at 19:17)</a>:</h4>
<p>.. we can always try and experiment with  a few things</p>



<a name="154592827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592827">(Jan 07 2019 at 19:17)</a>:</h4>
<p>yeah I'm open to experimenting and can certainly work with that</p>



<a name="154592842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592842">(Jan 07 2019 at 19:17)</a>:</h4>
<blockquote>
<p>I guess I like editing markdown files in emacs</p>
</blockquote>
<p>there are always wikis, btw</p>



<a name="154592844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592844">(Jan 07 2019 at 19:17)</a>:</h4>
<p>we just need a place where it feels safe to put something that isn't quite finished</p>



<a name="154592856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592856">(Jan 07 2019 at 19:17)</a>:</h4>
<p>(github wiki I mean)</p>



<a name="154592934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592934">(Jan 07 2019 at 19:18)</a>:</h4>
<p>but in general I think I'd rather shoot for PRs and just try to encourage half-finished stuff to land :)</p>



<a name="154592938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592938">(Jan 07 2019 at 19:18)</a>:</h4>
<p>true. main advantage of PR or paper/docs over wiki is the commenting ability</p>



<a name="154592962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592962">(Jan 07 2019 at 19:18)</a>:</h4>
<p>basically refer to open an issue with stuff to be filled in than to "get it all done" in the PR</p>



<a name="154592964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592964">(Jan 07 2019 at 19:18)</a>:</h4>
<p>what functionality do github wikis provide? Can you see the history and stuff and write comments?</p>



<a name="154592984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154592984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154592984">(Jan 07 2019 at 19:19)</a>:</h4>
<p>what if we just opened a PR with the design and no changed files. Does GitHub allow for that?</p>



<a name="154593001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593001">(Jan 07 2019 at 19:19)</a>:</h4>
<p>Or actually maybe a meta repo would be better because then you could comment on individual lines</p>



<a name="154593002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593002">(Jan 07 2019 at 19:19)</a>:</h4>
<p>I don't think you can make a PR against a wiki</p>



<a name="154593006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593006">(Jan 07 2019 at 19:19)</a>:</h4>
<p>but you can check it out and then push commits</p>



<a name="154593010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593010">(Jan 07 2019 at 19:19)</a>:</h4>
<p>which is what I usually do to read/edit it</p>



<a name="154593020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593020">(Jan 07 2019 at 19:19)</a>:</h4>
<p>it is just a git repo</p>



<a name="154593023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593023">(Jan 07 2019 at 19:19)</a>:</h4>
<p>with markdown files in it</p>



<a name="154593034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593034">(Jan 07 2019 at 19:19)</a>:</h4>
<p>Probably a rustc-design-docs repo or something would be better then</p>



<a name="154593043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593043">(Jan 07 2019 at 19:19)</a>:</h4>
<p>WIth the intention of putting that stuff into the rustc-guide once it is implemented/done</p>



<a name="154593045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593045">(Jan 07 2019 at 19:19)</a>:</h4>
<p>I was imagining a <code>rust-lang/wg-traits</code>  repository</p>



<a name="154593094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593094">(Jan 07 2019 at 19:20)</a>:</h4>
<p>That would be fine too</p>



<a name="154593149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593149">(Jan 07 2019 at 19:20)</a>:</h4>
<p>I think what is missing from my giant list is a way to prioritize, to some extent</p>



<a name="154593150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593150">(Jan 07 2019 at 19:20)</a>:</h4>
<p>agreed, the repo idea sounds good</p>



<a name="154593156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593156">(Jan 07 2019 at 19:20)</a>:</h4>
<p>I feel like a good idea would be to start by focusing on some of the chalk work that remains</p>



<a name="154593175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593175">(Jan 07 2019 at 19:21)</a>:</h4>
<p>that is, we've made some progress — and shouldn't ignore — on integrating chalk into rustc <em>but</em></p>



<a name="154593179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593179">(Jan 07 2019 at 19:21)</a>:</h4>
<p>what I wouldn't give for an emacs-based collaborative markdown editor... perhaps layered on top of a gh wiki or repo. sounds (to me :) like a perfect design UX.</p>



<a name="154593186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593186">(Jan 07 2019 at 19:21)</a>:</h4>
<p>You can prioritize with GitHub projects</p>



<a name="154593187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593187">(Jan 07 2019 at 19:21)</a>:</h4>
<p>there remain some important questions and also some obvious next steps that were raised by that</p>



<a name="154593206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593206">(Jan 07 2019 at 19:21)</a>:</h4>
<p>and I think that working on chalk would be good for folks</p>



<a name="154593210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593210">(Jan 07 2019 at 19:21)</a>:</h4>
<p>e.g. <a href="https://github.com/sunjay/caves/projects/1" target="_blank" title="https://github.com/sunjay/caves/projects/1">https://github.com/sunjay/caves/projects/1</a></p>



<a name="154593212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593212">(Jan 07 2019 at 19:21)</a>:</h4>
<p>to help understand the way the whole design fits together</p>



<a name="154593221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593221">(Jan 07 2019 at 19:21)</a>:</h4>
<blockquote>
<p>You can prioritize with GitHub projects</p>
</blockquote>
<p>sorry what I meant was more like: "I have this big list, but it's not obvious where to start within it"</p>



<a name="154593281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593281">(Jan 07 2019 at 19:22)</a>:</h4>
<p>You could have lists in the project where you categorize things based on their status</p>



<a name="154593286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593286">(Jan 07 2019 at 19:22)</a>:</h4>
<p>That gives you an idea of where to start</p>



<a name="154593296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593296">(Jan 07 2019 at 19:22)</a>:</h4>
<p>"Ready for Review" "Not Started" etc.</p>



<a name="154593306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593306">(Jan 07 2019 at 19:22)</a>:</h4>
<p>right what I mean is: we should talk about what we think we should focus on first</p>



<a name="154593311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593311">(Jan 07 2019 at 19:22)</a>:</h4>
<p>"Author Disappeared Into Life"</p>



<a name="154593320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593320">(Jan 07 2019 at 19:22)</a>:</h4>
<p>realistically, creating mentoring instructions and things can be slow-ish</p>



<a name="154593330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593330">(Jan 07 2019 at 19:23)</a>:</h4>
<p>so I think it makes sense to set some first goals to focus on</p>



<a name="154593368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593368">(Jan 07 2019 at 19:23)</a>:</h4>
<p>Question about the spreadsheet: does coherence need to be added at all?</p>



<a name="154593409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593409">(Jan 07 2019 at 19:24)</a>:</h4>
<p>like, if we zoom out, there are kind of a few categories of tasks</p>
<ul>
<li>covering some important holes in chalk</li>
<li>expanding on rustc integration and fixing bugs there</li>
<li>specific features that don't really rely on chalk</li>
</ul>



<a name="154593437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593437">(Jan 07 2019 at 19:24)</a>:</h4>
<blockquote>
<p>Question about the spreadsheet: does coherence need to be added at all?</p>
</blockquote>
<p>good question, I suppose so, yes</p>



<a name="154593446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593446">(Jan 07 2019 at 19:24)</a>:</h4>
<p>it would certainly be nice to be used the formulations you came up with (or some variant of them) more directly</p>



<a name="154593452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593452">(Jan 07 2019 at 19:24)</a>:</h4>
<p>Which section should I add it to?</p>



<a name="154593465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593465">(Jan 07 2019 at 19:25)</a>:</h4>
<p>I think I made the spreadsheet read-only because .. well, not sure why</p>



<a name="154593471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593471">(Jan 07 2019 at 19:25)</a>:</h4>
<p>oh, I feared spam for some weird reason</p>



<a name="154593475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593475">(Jan 07 2019 at 19:25)</a>:</h4>
<p>I should change that</p>



<a name="154593481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593481">(Jan 07 2019 at 19:25)</a>:</h4>
<p>at least temporarily</p>



<a name="154593503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593503">(Jan 07 2019 at 19:25)</a>:</h4>
<p>(done)</p>



<a name="154593514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593514">(Jan 07 2019 at 19:25)</a>:</h4>
<p>I would <span class="user-mention" data-user-id="117350">@Sunjay Varma</span> put it under "chalk integration"</p>



<a name="154593521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593521">(Jan 07 2019 at 19:25)</a>:</h4>
<p>Yes you're right I can't edit it</p>



<a name="154593568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593568">(Jan 07 2019 at 19:26)</a>:</h4>
<p>I think I fixed that now</p>



<a name="154593573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593573">(Jan 07 2019 at 19:26)</a>:</h4>
<p>anyway I can add it</p>



<a name="154593583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593583">(Jan 07 2019 at 19:26)</a>:</h4>
<p>Added</p>



<a name="154593587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593587">(Jan 07 2019 at 19:26)</a>:</h4>
<p>Oh nevermind</p>



<a name="154593597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593597">(Jan 07 2019 at 19:26)</a>:</h4>
<p>You beat me <span class="emoji emoji-1f44f" title="clap">:clap:</span></p>



<a name="154593611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593611">(Jan 07 2019 at 19:26)</a>:</h4>
<p>With respect to the chalk integration bugs and the holes in chalk, I have at least a clear list of things that need to be done; and which I think are fairly atomic so that we may not need to prioritize them</p>



<a name="154593670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593670">(Jan 07 2019 at 19:27)</a>:</h4>
<p>Well my guess it that the only thing we may want to prioritize right now is the goal selection algorithm in chalk-engine</p>



<a name="154593744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593744">(Jan 07 2019 at 19:28)</a>:</h4>
<p>maybe we can just do some of both</p>



<a name="154593760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593760">(Jan 07 2019 at 19:28)</a>:</h4>
<p>Because we may want to use it for answering <code>?X: Trait</code> goals, as discussed with <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="154593783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593783">(Jan 07 2019 at 19:28)</a>:</h4>
<p>I think one big thing I was concerned about with chalk itself was trait object integration</p>



<a name="154593791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593791">(Jan 07 2019 at 19:28)</a>:</h4>
<p>yeah, that's on my list</p>



<a name="154593806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593806">(Jan 07 2019 at 19:28)</a>:</h4>
<p>I also want to see refactoring for specialization</p>



<a name="154593812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593812">(Jan 07 2019 at 19:29)</a>:</h4>
<p>but that's a bit lower in priority</p>



<a name="154593817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593817">(Jan 07 2019 at 19:29)</a>:</h4>
<p>Actually I have some ideas on trait objects, which I think may solve the soundness issues we know about</p>



<a name="154593827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593827">(Jan 07 2019 at 19:29)</a>:</h4>
<p>oh yeah? interesting</p>



<a name="154593836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593836">(Jan 07 2019 at 19:29)</a>:</h4>
<p>even if it's somewhat arbitrary, my feeling is it would be good to have some guidance on which issues to pick up next</p>



<a name="154593856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593856">(Jan 07 2019 at 19:29)</a>:</h4>
<p>github projects do seem pretty great for that, actually</p>



<a name="154593881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593881">(Jan 07 2019 at 19:30)</a>:</h4>
<p>OK, I'm feeling pretty good about the idea of a wg-traits repository to house some of this stuff</p>



<a name="154593935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593935">(Jan 07 2019 at 19:30)</a>:</h4>
<p>and trying to use projects to track stuff</p>



<a name="154593942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593942">(Jan 07 2019 at 19:30)</a>:</h4>
<p>(Re: trait objects; I’ll spawn another topic to explain myself later because I’m on my phone now)</p>



<a name="154593959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154593959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154593959">(Jan 07 2019 at 19:30)</a>:</h4>
<blockquote>
<p>even if it's somewhat arbitrary, my feeling is it would be good to have some guidance on which issues to pick up next</p>
</blockquote>
<p>I agree with this, we need to focus on some goals :)</p>



<a name="154594022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594022">(Jan 07 2019 at 19:31)</a>:</h4>
<p>but maybe the divide between "work on chalk" and "work on rustc" isn't really needed</p>



<a name="154594028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594028">(Jan 07 2019 at 19:31)</a>:</h4>
<p>the main thing is to pick a priority or two</p>



<a name="154594048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594048">(Jan 07 2019 at 19:32)</a>:</h4>
<p>I think that we can add a simple API to control predicate clause ordering in chalk for sure</p>



<a name="154594190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594190">(Jan 07 2019 at 19:33)</a>:</h4>
<p>I guess some initial weekly goals can be:</p>
<ul>
<li>setup a repository and move over some of the rustc design docs</li>
<li>ensure we have bugs opened for the relevant work and try to put them into a project (or two)</li>
</ul>
<p>and in terms of code</p>
<ul>
<li>controlling subgoal selection (<span class="user-mention" data-user-id="116108">@Keith Yeung</span> had a PR, though I think I wanted to tweak the approach)</li>
<li>..?</li>
</ul>



<a name="154594239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594239">(Jan 07 2019 at 19:33)</a>:</h4>
<p>In terms of stuff outside chalk:</p>
<ul>
<li>I promised to rebase <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span>'s PR</li>
<li>...? =)</li>
</ul>



<a name="154594292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594292">(Jan 07 2019 at 19:34)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> you were doing some stuff on the <code>impl Trait</code> in let binding work?</p>



<a name="154594319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594319">(Jan 07 2019 at 19:34)</a>:</h4>
<p>(ah, that's something else that chalk probably needs to be extended to understand, though it may be related to trait objects)</p>



<a name="154594337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594337">(Jan 07 2019 at 19:34)</a>:</h4>
<p>selection ordering selection..?</p>



<a name="154594348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594348">(Jan 07 2019 at 19:34)</a>:</h4>
<p>no idea what I was tryping</p>



<a name="154594350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594350">(Jan 07 2019 at 19:34)</a>:</h4>
<p>edited :)</p>



<a name="154594354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594354">(Jan 07 2019 at 19:34)</a>:</h4>
<p>:)</p>



<a name="154594355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594355">(Jan 07 2019 at 19:34)</a>:</h4>
<p>the idea is this:</p>



<a name="154594373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594373">(Jan 07 2019 at 19:35)</a>:</h4>
<p>if you have a list of things to prove, which order do you use?</p>



<a name="154594381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594381">(Jan 07 2019 at 19:35)</a>:</h4>
<p>i think niko means that we are implementing prioritization of subgoal selection</p>



<a name="154594393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594393">(Jan 07 2019 at 19:35)</a>:</h4>
<p>chalk right now says "start with the last thing in the list", mostly because it means I can call <code>vec.pop()</code></p>



<a name="154594445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594445">(Jan 07 2019 at 19:35)</a>:</h4>
<p>prolog <em>traditionally</em> starts from the front</p>



<a name="154594470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594470">(Jan 07 2019 at 19:35)</a>:</h4>
<p>ultimately I think we should use some heuristics, perhaps examining e.g. the impls for traits and things</p>



<a name="154594479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594479">(Jan 07 2019 at 19:35)</a>:</h4>
<p>but to start, we have some cases that we know are a bad idea</p>



<a name="154594494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594494">(Jan 07 2019 at 19:36)</a>:</h4>
<p>e.g., if you have <code>?T: Sized</code> where <code>?T</code> is not bound</p>



<a name="154594549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594549">(Jan 07 2019 at 19:36)</a>:</h4>
<p>then trying to prove <em>that</em> is kind of pointless -- right now, it does something semi-bogus, but to work properly, it would basically have to enumerate all types that are sized (which is an awful lot of types)</p>



<a name="154594590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594590">(Jan 07 2019 at 19:36)</a>:</h4>
<p>what we would prefer is that if you have something like <code>?T: Sized, X: AsRef&lt;?T&gt;</code>, you start with the latter goal, which might yield you a specific type</p>



<a name="154594624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594624">(Jan 07 2019 at 19:37)</a>:</h4>
<p>for context: when the solver is "solving" a goal, that basically means it is enumerating values of the type variables for which the goal is true</p>



<a name="154594635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594635">(Jan 07 2019 at 19:37)</a>:</h4>
<p>so it makes sense to start with the subgoals that have the fewest true values</p>



<a name="154594666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594666">(Jan 07 2019 at 19:38)</a>:</h4>
<p>in some sense, controlling this ordering is <em>the</em> challenge if you are trying to be efficient</p>



<a name="154594736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594736">(Jan 07 2019 at 19:38)</a>:</h4>
<p>makes sense</p>



<a name="154594739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594739">(Jan 07 2019 at 19:38)</a>:</h4>
<p>or at least it can make the difference between getting hopelessly lost and finding an answer</p>



<a name="154594766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594766">(Jan 07 2019 at 19:38)</a>:</h4>
<p>(there would be other options too, I guess -- you could imagine something adaptive maybe, but it'd be a big change to support)</p>



<a name="154594983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154594983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154594983">(Jan 07 2019 at 19:41)</a>:</h4>
<p>ok so we'll get a repo and project set up<br>
in terms of prioritizing, if there are no obvious places to start, perhaps we should pick things that either a) seem like faster wins or b) have a lot of people requesting them</p>



<a name="154595003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595003">(Jan 07 2019 at 19:41)</a>:</h4>
<p>so meta question:</p>
<p>Of the people here, are any of you thinking "geez I'd like to write some code on traits this week, but I don't know what to do"?</p>
<p>That is, I plan to focus this week and next on mapping out steps in more detail so that I can put out some calls to try and pull more people in. But I'd like to prioritize people here now</p>



<a name="154595021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595021">(Jan 07 2019 at 19:41)</a>:</h4>
<p>(I think I have some ideas what to prioritize)</p>



<a name="154595033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595033">(Jan 07 2019 at 19:42)</a>:</h4>
<p>Note: the current semi-bogus implementation of <code>?T: Sized</code> is only buggy with built-in impls generated by the compiler, because you cannot even enumerate them all (because you cannot e.g. represent variadic impls on tuples)</p>



<a name="154595095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595095">(Jan 07 2019 at 19:42)</a>:</h4>
<blockquote>
<p>Note: the current semi-bogus implementation of <code>?T: Sized</code> is only buggy with built-in impls generated by the compiler, because you cannot even enumerate them all (because you cannot e.g. represent variadic impls on tuples)</p>
</blockquote>
<p>I'm not sure if this is true</p>



<a name="154595107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595107">(Jan 07 2019 at 19:42)</a>:</h4>
<p>That is, doesn't it just generate an ambiguous result?</p>



<a name="154595115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595115">(Jan 07 2019 at 19:42)</a>:</h4>
<p>yeah I would like to dig in to some code this week</p>



<a name="154595164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595164">(Jan 07 2019 at 19:43)</a>:</h4>
<blockquote>
<p>Of the people here, are any of you thinking "geez I'd like to write some code on traits this week, but I don't know what to do"?</p>
</blockquote>
<p><span class="emoji emoji-1f481" title="person tipping hand">:person_tipping_hand:</span></p>



<a name="154595259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595259">(Jan 07 2019 at 19:44)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I hard coded the ambiguity for the <code>Sized</code> trait</p>



<a name="154595296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595296">(Jan 07 2019 at 19:44)</a>:</h4>
<p>But for other traits, it will just enumerate all known impls, which could only have been user-written</p>



<a name="154595351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595351">(Jan 07 2019 at 19:45)</a>:</h4>
<p>So it may be slow (if there are a lot of impls), but at least I think it’ll be correct in all cases</p>



<a name="154595365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595365">(Jan 07 2019 at 19:45)</a>:</h4>
<p>Hmm, so re: actionable things... actually looking at my list, a lot of them are in rustc.</p>
<p>One that leaps to mind is <strong>universe mapping</strong>. Contra to what I wrote about rustc hacking, this would be extending the rustc code to help make queries smaller.</p>



<a name="154595389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595389">(Jan 07 2019 at 19:45)</a>:</h4>
<p>for me, i'm more like "geez I'd like to write some code on traits later this month, after I've made in through more of the existing documentation" :)</p>



<a name="154595459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595459">(Jan 07 2019 at 19:46)</a>:</h4>
<p>In terms of chalk: </p>
<ul>
<li>Clause selection order (but <span class="user-mention" data-user-id="116108">@Keith Yeung</span> is maybe on this?)</li>
<li>Salsa-ification (conversion to operate on-demand, specifically, we don't really have to use salsa, but it might be nice)</li>
</ul>



<a name="154595478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595478">(Jan 07 2019 at 19:47)</a>:</h4>
<p>maybe there are some smaller steps though</p>



<a name="154595490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595490">(Jan 07 2019 at 19:47)</a>:</h4>
<p>I suspect there's just some chalk cleanup or other things to be done</p>



<a name="154595510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595510">(Jan 07 2019 at 19:47)</a>:</h4>
<p>I assume salsa-ification can be done independently of the rest of rustc</p>



<a name="154595512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595512">(Jan 07 2019 at 19:47)</a>:</h4>
<p>i'm more of the learn-as-you-work type: i need to see actual code when i read docs</p>



<a name="154595518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595518">(Jan 07 2019 at 19:47)</a>:</h4>
<p>which is why i'm working on the clause selection order</p>



<a name="154595533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595533">(Jan 07 2019 at 19:47)</a>:</h4>
<blockquote>
<p>I assume salsa-ification can be done independently of the rest of rustc</p>
</blockquote>
<p>yeah this is specifically for the <em>chalk test runner</em> code (not the engine itself)</p>



<a name="154595596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595596">(Jan 07 2019 at 19:48)</a>:</h4>
<p>I can give some more context, but basically in order to handle specialization, we're going to need to be able to do the lowering a trait at a time</p>



<a name="154595612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595612">(Jan 07 2019 at 19:48)</a>:</h4>
<p>interesting</p>



<a name="154595631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595631">(Jan 07 2019 at 19:48)</a>:</h4>
<p>right now, the chalk test runner begins by </p>
<ul>
<li>loading all the traits/impls from a <code>.chalk</code> file</li>
<li>lowering them <em>all</em> to logical rules</li>
</ul>
<p>but specialization needs to be able to construct relationships between impls, and that sometimes requires doing trait solving</p>



<a name="154595644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595644">(Jan 07 2019 at 19:48)</a>:</h4>
<p>so it needs to be able to lower some traits to rules, do some solving, then lower more traits to rules</p>



<a name="154595650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595650">(Jan 07 2019 at 19:49)</a>:</h4>
<p>probably too much to do in "one step"</p>



<a name="154595670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595670">(Jan 07 2019 at 19:49)</a>:</h4>
<p>the last time I was looking into this, I started by breaking up chalk into more crates :P</p>



<a name="154595682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595682">(Jan 07 2019 at 19:49)</a>:</h4>
<p>never actually got to the real task</p>



<a name="154595701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595701">(Jan 07 2019 at 19:49)</a>:</h4>
<p>there's also stuff like this <a href="https://github.com/rust-lang-nursery/chalk/issues/168" target="_blank" title="https://github.com/rust-lang-nursery/chalk/issues/168">https://github.com/rust-lang-nursery/chalk/issues/168</a></p>



<a name="154595709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595709">(Jan 07 2019 at 19:49)</a>:</h4>
<p>heh, as if chalk doesn't itself have enough subcrates</p>



<a name="154595724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595724">(Jan 07 2019 at 19:50)</a>:</h4>
<p>Are you sure you want to use failure?</p>



<a name="154595771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595771">(Jan 07 2019 at 19:50)</a>:</h4>
<p>Isn't it going to be superceded soon?</p>



<a name="154595797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595797">(Jan 07 2019 at 19:50)</a>:</h4>
<p>I don't know :)</p>



<a name="154595807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595807">(Jan 07 2019 at 19:50)</a>:</h4>
<p>i'm not sure we want to use any such crate really</p>



<a name="154595810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595810">(Jan 07 2019 at 19:50)</a>:</h4>
<p>salsa stuff sounds interesting to me</p>



<a name="154595811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595811">(Jan 07 2019 at 19:50)</a>:</h4>
<p>this is news to me, i thought failure is the way to go</p>



<a name="154595824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595824">(Jan 07 2019 at 19:50)</a>:</h4>
<blockquote>
<p>salsa stuff sounds interesting to me</p>
</blockquote>
<p>what we should probably do, <span class="user-mention" data-user-id="116883">@tmandry</span>, is schedule a slot to talk it over</p>



<a name="154595826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595826">(Jan 07 2019 at 19:50)</a>:</h4>
<p>if that works for you</p>



<a name="154595831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595831">(Jan 07 2019 at 19:51)</a>:</h4>
<p>improving queries in rustc too if that's more important</p>



<a name="154595840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595840">(Jan 07 2019 at 19:51)</a>:</h4>
<p>yep that works for me</p>



<a name="154595856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595856">(Jan 07 2019 at 19:51)</a>:</h4>
<p>what I did in the NLL group that I'd like to continue doing:</p>



<a name="154595864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595864">(Jan 07 2019 at 19:51)</a>:</h4>
<p>is to do sessions to talk over how stuff works and record them</p>



<a name="154595869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595869">(Jan 07 2019 at 19:51)</a>:</h4>
<p>then post those videos on youtube</p>



<a name="154595886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595886">(Jan 07 2019 at 19:51)</a>:</h4>
<p>I would love to join in on one of those</p>



<a name="154595896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595896">(Jan 07 2019 at 19:51)</a>:</h4>
<p>actually, no reason not to have &gt;1 person</p>



<a name="154595958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154595958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154595958">(Jan 07 2019 at 19:52)</a>:</h4>
<blockquote>
<p>this is news to me, i thought failure is the way to go</p>
</blockquote>
<p><a href="https://github.com/rust-lang-nursery/failure#evolution" target="_blank" title="https://github.com/rust-lang-nursery/failure#evolution">https://github.com/rust-lang-nursery/failure#evolution</a></p>



<a name="154596017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596017">(Jan 07 2019 at 19:53)</a>:</h4>
<p>I gotta run soon but I'd be game tomorrow to do a session to talk over salsa-ification and/or the universe-map stuff I was talking about</p>



<a name="154596025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596025">(Jan 07 2019 at 19:53)</a>:</h4>
<p>not sure how flexible y'all are, I could do say 11am UTC-5 (Boston time)</p>



<a name="154596035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596035">(Jan 07 2019 at 19:53)</a>:</h4>
<p>Please ping me. That time works :)</p>



<a name="154596037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596037">(Jan 07 2019 at 19:53)</a>:</h4>
<p>Works for me</p>



<a name="154596039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596039">(Jan 07 2019 at 19:53)</a>:</h4>
<p>ok</p>



<a name="154596046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596046">(Jan 07 2019 at 19:53)</a>:</h4>
<p>(I may have to run at 11:30 though)</p>



<a name="154596059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596059">(Jan 07 2019 at 19:53)</a>:</h4>
<p>I'd love to join if i can swing that time!</p>



<a name="154596060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596060">(Jan 07 2019 at 19:53)</a>:</h4>
<p>I am also avail at 13:00 and 15:00</p>



<a name="154596105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596105">(Jan 07 2019 at 19:54)</a>:</h4>
<p>yeah I'll just do a general ping</p>



<a name="154596109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596109">(Jan 07 2019 at 19:54)</a>:</h4>
<p>but we should pick a time :)</p>



<a name="154596185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596185">(Jan 07 2019 at 19:55)</a>:</h4>
<p>15:00 can also work for me</p>



<a name="154596248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596248">(Jan 07 2019 at 19:56)</a>:</h4>
<p>voting time. put <span class="emoji emoji-1f44d" title="+1">:+1:</span> on times that work for you :)</p>



<a name="154596256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596256">(Jan 07 2019 at 19:56)</a>:</h4>
<p>11:00 UTC-5</p>



<a name="154596258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596258">(Jan 07 2019 at 19:56)</a>:</h4>
<p>13</p>



<a name="154596259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596259">(Jan 07 2019 at 19:56)</a>:</h4>
<p>15</p>



<a name="154596321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596321">(Jan 07 2019 at 19:56)</a>:</h4>
<p><span class="emoji emoji-1f44e" title="thumbs down">:thumbs_down:</span> if you do not prefer a time/can't make a time</p>



<a name="154596325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596325">(Jan 07 2019 at 19:57)</a>:</h4>
<p>(in case we tie)</p>



<a name="154596403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596403">(Jan 07 2019 at 19:57)</a>:</h4>
<p>Sounds like 15:00 is the winner...</p>



<a name="154596415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596415">(Jan 07 2019 at 19:57)</a>:</h4>
<p>OK, let's do that.</p>



<a name="154596492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154596492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154596492">(Jan 07 2019 at 19:58)</a>:</h4>
<p>Gotta run, thanks all! <span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="154598166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154598166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154598166">(Jan 07 2019 at 20:21)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> you were doing some stuff on the <code>impl Trait</code> in let binding work?</p>
</blockquote>
<p>Sorry Niko, I got called away. And yes, getting back to that. Working on the associated_type_bindings feature too (the issue I mentioned to you earlier was about that).</p>



<a name="154598221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154598221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154598221">(Jan 07 2019 at 20:22)</a>:</h4>
<p>Is Chalk integration going well? Lifetime bounds coming soon?</p>



<a name="154600488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-07/near/154600488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-07.html#154600488">(Jan 07 2019 at 20:55)</a>:</h4>
<p>(PS: 15:00 works for me)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>